Introduction: The importance attached to ethical practice and related informed consent varies among health professionals and is further influenced by working environments, level of knowledge, experience and societal values and beliefs. The objective of this study is to evaluate the ethical conduct of professors, undergraduates and graduate students through questionnaires answered by patients. Methods: One hundred twenty patients at the dental clinics of three different dental schools in São Paulo State were interviewed based on objective and discursive questions about signed (...) informed consent, participation in scientific research, photographs during treatment, requested saliva samples, tooth donation requests, and information about tooth destination after removal. A frequency distribution was used for a statistical analysis of the data. Results: In all, 65.8% of the patients had given signed informed consent for treatment and 12.5% had not done so; 10.8% did not know if they had participated in scientific research; 54.2% were photographed during dental procedures and 47.1% of them had signed an authorization form; 6.6% were requested to provide a saliva sample and 66.6% of them had signed an authorization form to that effect; 16.1% had a tooth donation requested and 64.4% of them had signed an authorization form to that effect; and 61.3% did not know the destination of the tooth after removal, when donation was not requested. Conclusions: The majority of the patients had signed an informed consent form for treatment, photographs, saliva samples and tooth donation. This demonstrated ethical conduct towards patients on the part of professors, undergraduates and graduate students. doi: 10.5294/pebi.2017.21.1.2. (shrink)

After the publication of Hart's Concept of Law, Dworkin published his article “The Model of Rules,” dividing positivism into two varieties: inclusive and exclusive. Many theorists involved in this debate have characterized Hart's position as inclusivist, which we reject in this article. We argue that Hart, in the postscript to The Concept of Law, conceded a point to Dworkin in accepting that inclusive positivism would imply the existence of objective moral standing, adopting a more “neutral” position—compatible with inclusive and exclusive (...) positivism—and consequently distancing himself from the incorporation thesis, which is paramount to inclusive positivism. (shrink)

O presente artigo pretende resumir e interrogar o conceito de “pessoa” na filosofia de Paul Ricœur (1913-2005) a partir do texto _Note sur la personne _(_Nota sobre a pessoa_). Esse texto foi publicado em 1936 na revista teológica _Le Semeur _(_O Semeador_), um pequeno ensaio no qual Ricœur visa apontar o valor conceitual que a noção de pessoa possui, além de apresentar as características constituintes dessa noção.

O trabalho analisa as relações entre discurso_ _e ser estabelecidas de forma dialética por Platão em seu diálogo tardio _Sofista_. Os sofistas defendiam a impossibilidade de provar a falsidade ou veracidade dos discursos. Tais pensadores baseavam-se no interdito ontológico de Parmênides de Eleia, que preconizava, em linhas gerais, a existência de uma estrita correspondência entre tudo que pode ser dito e o ser, de forma que seria, assim, impossível, dizer algo que não é, ou seja, um não-ser. Contrariando tal perspectiva (...) e fazendo uso do método da _diaíresis _– em que os seres são caracterizados por suas diferenças mais fundamentais –, o _Sofista _se desenrola revisitando e revisando as teorias ontológicas de seu tempo, a fim de explorar uma nova forma de pensar a relação entre os seres. Platão assegura, com isso, a possibilidade de análise qualitativa do discurso predicativo e define, consequentemente, o erro como desarmonia entre o dizer e o ser. Para tamanha empreitada, o filósofo explica como se dá o entrelaçamento na relação de ser e não-ser, relação mediada pelas seguintes categorias fundamentais: ser, mesmo, outro, movimento e repouso. A partir disso, a dialética é finalmente constituída como a técnica correta de diferenciação entre os predicados possíveis de comunicação com cada sujeito. Graças aos resultados filosóficos dessa empreitada, iniciaram-se as reflexões que levaram Aristóteles a instrumentalizar as análises da linguagem. (shrink)

A obra de Max Weber abarca um amplo arco de disciplinas, expedientes metodológicos e problemas, que sempre manifestaram força para se interpretar o Brasil. Contudo, para se entender o weberianismo que aqui se formou, não podemos cobrar, dos que o impulsionaram e o desdobraram em diversas direções, uma fidelidade ingênua ou puritana à matriz construída por Weber. Não queremos usar aqui a metáfora da antropofagia, já tão recoberta de significados emblemáticos. Mas a verdade é que o pensamento nacional, produzido fora (...) e dentro das universidades, sempre devorou o pensamento de Max Weber, sem – e esse é um extraordinário mérito – se preocupar como ele teria de ser digerido junto ao material ao qual ele tinha que ser imiscuído. Por isso, sempre será interminável e indecidível a discussão sobre se determinado pensamento expressa bem ou de modo inapropriado os propósitos de Max Weber. Por outro lado, do ponto de vista da compreensão da nossa singularidade, é irrecusável que, pelas necessidades de discutirmos assuntos e temas tipicamente nossos, o pensamento weberiano teve de ser reinventado no Brasil, tendo-lhe sido agregadas perspectivas e inovações originais que somente por nossas mãos e nossos olhos poderiam ter sido construídas. Os impactos e absorções da modernidade em território tão diversificado como o nosso, ou as aderências e recusas aos aspectos políticos, econômicos e culturais da globalização, também formam o quadro das preocupações recentes que retratam a apreensão do pensamento de Weber entre nós. Esse livro documenta, portanto, esse fato, a saber, de que a interpretação da obra de Weber já ganhou uma dimensão singular no Brasil, de tal forma que, por desregrados desdobramentos, já se tornou inseparável de muitos modos significativos de se interpretar a nossa realidade. (shrink)

Uma das peculiaridades instigantes desse livro, caro leitor, é a sobreposição dos temas, que desdobram e estratificam leituras preparadas por especialistas de diversas áreas de conhecimento. Penetrando no mesmo tema por diversas perspectivas, quem o lê se aproxima não somente de Max Weber, mas acaba se familiarizando, inclusive, com o modo pelo qual seu pensamento está aderido às diversas ciências que ainda hoje procuram compreender a herança da nossa modernidade. Com espírito interdisciplinar, apresentamos a você, leitor, esses textos oriundos de (...) pesquisadores de diferentes disciplinas. E se pedimos a sua leitura, é porque consideramos que eles representam um bom exemplo da atual produção latino-americana da Weberforschung. (shrink)

O artigo se propõe a uma investigação da potência filosófica presente na poesia japonesa clássica conhecida como waka. O aspecto formal mais proeminente do waka é a sua curta estrutura composta geralmente de 31 sílabas moraicas divididas, respectivamente, em 5 versos de 5, 7, 5, 7 e 7 sílabas cada. Para erguer-se como uma forma poética, o waka emprega o recurso rítmico da pausa e uma retórica que vinculam cada poema individual ao todo da tradição através de precedentes. Defendemos que (...) na tradição intelectual constituída pelo waka há uma filosofia do real – que denominamos intertextualidade do real – que entende a realidade como vazia e impermanente. Dessa forma, seria o waka a forma mais adequada através da qual exprimir o real uma vez que ele é mais profundo e excelente a medida em que cria um movimento de esvaziamento e tornar impermanente através de seus recursos formais e retóricos: seu cerne, sua disposição e significado e suas palavras. (shrink)

This article adapts the ethnographic medium of the diary to develop a method for studying data and related data practices. The article focuses on the creation of one data diary, developed iteratively over three years in the context of a national centre for monitoring disasters and natural hazards in Brazil. We describe four points of focus involved in the creation of a data diary – spaces, interfaces, types and situations – before reflecting on the value of this method. We suggest (...) data diaries are able to capture the informal dimension of data-intensive organisations; enable empirical analysis of the specific ways that data intervene in the unfolding of situations; and as a document, data diaries can foster interdisciplinary and inter-expert dialogue by bridging different ways of knowing data. (shrink)

O estudo realiza uma análise histórico-crítica de como os cidadãos de Porto Alegre vivenciaram as mudanças estruturais e as instrumentalizações de controle psicossocial nas décadas de 1910 e 1920, com foco no Mercado Público (MP). O objetivo é explicitar como a estrutura do mercado funcionava, simultaneamente, enquanto um dispositivo de segurança cultural e controle psicossocial sobre os corpos nas relações de consumo de bens e serviços. Investiga-se em que contexto foram introduzidos os dispositivos de segurança cultural e de controle (...) panóptico arquitetônico, ou seja, quais são as diferentes concepções de segurança presentes no MP. Para interpretar esse fenômeno histórico arquitetônico, são utilizadas referências como “Porto Alegre, Arquitetura e Estilo – 1880 a 1930” de Bárbara Schäffer e “Vigiar e Punir” de Foucault. Primeiramente, descreve-se a edificação, a origem arquitetônica do entorno do MP e a inclusão da religiosidade popular do Batuque gaúcho. Em seguida, reconstrói-se o sistema de controle panóptico por meio das funções arquitetônicas. Por fim, refletem-se as diferentes formas de segurança no contexto do mercado, a saber, a segurança cultural e a função panóptica de controle e policiamento, especialmente durante as reformas do MP. A pesquisa interdisciplinar conecta a Psicologia Social e Institucional com a Arquitetura e Estética, oferecendo um diagnóstico atual do ecossistema urbano do MP. (shrink)

Que papel exercem os modelos nas investigações científicas? Que características deve ter um modelo para que seja designado como científico? Como operam os modelos nas ciências humanas e qual seu impacto nas ações humanas? Esses são alguns dos questionamentos que dão ensejo às discussões propostas por Luiz Henrique de Araújo Dutra em sua obra Pragmática de modelos, cuja terceira edição, revista e ampliada, fora recentemente lançada pela Editora Agrya.

Nesta pesquisa etnográfica, analisamos a intersecção entre práticas de saúde e de segurança pública dirigida aos homens vítimas de conflitos violentos em dois hospitais de trauma no município de Porto Alegre/Brasil. Parte do campo consistiu em acompanhar as narrativas e as interações entre masculinidades criminalizadas e profissionais da segurança pública. Os operadores conceituais centrais são inspirados nos estudos sobre o dispositivo de segurança, Economia moral e no campo das masculinidades e violência. Para homens marcados como sendo do crime, o (...) sofrimento produzido pelo trauma vivido não é apenas invisibilizado; ele é tomado como sinal de periculosidade. Essa dinâmica rege as relações entre masculinidades envolvidas em conflitos violentos e produz o ressentimento como afeto central. (shrink)

para o domínio da Ciência Cognitiva funcionalista neurocomputacional. A descrição de tal transição é feita por meio de uma breve análise das idéias de Post, Church, Gödel e Turing sobre a possibilidade de formalização do pensamento criador na matemática, enfatizando as contribuições deste último.

ABSTRACT In this text, we build dialogues between Mikhail Bakhtin’s moral philosophy and Hans Kelsen’s legal theory, analyzing the notions of ought to be, science, and being. The goals are to shed light on Bakhtin’s (1999) legal foundation, from the perspective of moral philosophy as philosophia prima, which encompasses the philosophy of religion and the philosophy of law (Bakhtin, 1999; Simões, 2024); and to point out ethical considerations for the sciences, particularly for Law and Linguistics. The research is bibliographical, and (...) the corpus consists, centrally, of the works Toward a Philosophy of the Act (Bakhtin, 1993) and General Theory of Law and State (Kelsen, 1949). Our conclusions point to Bakhtin’s (1999) contributions, which appear to be authoritative for a perspective on the ought to be in the world of life; and for the debate on ethics in the sciences (Kelsen, 1949; Rajagopalan, 2011), particularly around the scientist’s relationship with the ought to be (Bakhtin, 1999). (shrink)

Dentre as muitas discussões levantadas pela metafísica cartesiana, um dos problemas mais difíceis enfrentados por seus intérpretes é, certamente, o de explicar a relação entre mente e corpo. Neste trabalho, pretendemos expor como a distinção inicial entre mente e corpo estabelecido por Descartes em suas Regulae ad directionem ingenii e em suas Meditationes de prima philosophia é retomado como uma unificação nas Passions de l'âme, permitindo assim, com o advento da união substancial, uma explicação mais completa, porém, não acabada, para (...) o homem e sua composição psicofísica. (shrink)

O cineclube escolar configura-se como um espaço de debate e reflexão dentro do ambiente educacional, proporcionando aos estudantes a oportunidade de exploração, crítica e análise de temas sociais, culturais e éticos a partir das obras cinematográficas. Nesse contexto, o presente trabalho busca tecer reflexões sobre o potencial do cineclube escolar como um espaço de formação voltado ao uso da fala, da construção de diálogos e de entendimentos intersubjetivos, por meio de articulações possíveis com a Teoria do Agir Comunicativo de Habermas. (...) Para isso, a fim de contextualizar tais questões e estabelecer as interações entre aquilo que se constitui como a prática cineclubista escolar com os pressupostos teóricos do agir comunicativo, realizou-se um levantamento de estudos que versam sobre o uso do cinema em sala de aula e a prática cineclubista como espaço de comunicação, bem como o referencial teórico de Habermas e seus interlocutores. As discussões apontam que, ao ser orientado pelos princípios do agir comunicativo, o formato de cineclube escolar pode apresentar o potencial de contribuir significativamente para a construção de um espaço de aprendizagem voltado ao diálogo igualitário, a autonomia e a participação ativa dos alunos, contrastando com as práticas instrumentais ainda presentes no ensino mediado pelo cinema. (shrink)

O presente artigo tem por objetivo principal a exposição da teoria ontológica platônica sobre a definição de Ser e Não-Ser que se encontram no clássico diálogo “O Sofista”. Nesta obra, Platão usa uma série de raciocínios bem trabalhados e detalhados para se chegar à proposta popularmente conhecida como alteridade. Até chegar a esta conclusão, o filósofo caminha em direção aos sofistas e observa o que eles faziam a fim de expor sua verdadeira natureza, falha e demagógica, além da superação e (...) refutação da ontologia parmenídica para findar a sua independência filosófica. (shrink)

This paper argues for a version of perspectival realism as to abstract objects. Differently from bodies and mental states, abstract realities are supposed to be always unobservable objects, things never given in perception. Contrary to this received view, this paper tries to show that abstract objects can be perceived, even though people aren’t currently aware of perceiving them. Moreover, in order to perceive abstract objects we must be accordingly equipped. Our equipment to perceive abstract objects involves not only retino-cortical elements, (...) but mental and cultural conditions as well. (shrink)

This paper aims at discussing the usage by Davidson as to events of Quine's criterion of ontological commitment. According to Davidson, we are ontologically committed to the existence of events as individuals as we employ literally terms such as ‘Caesar’s death’, for instance. Davidson extends this analysis to actions as well, since actions are human events. One of the consequences of this view is that psychology deals with individual events in a non-lawful way. An alternative view is here proposed, based (...) on a complementary criterion, namely ontological density, according to which from the point of view of a given theory, we can always distinguish between events (or phenomena) and individuals (entities) among the overall occurrences described by the theory. Some consequences of this alternative view of psychology as a science dealing lawfully with general human events are also explored here. (shrink)

An examination of the post-Darwinian history of biological taxonomy reveals an implicit assumption that the definitions of taxon names consist of lists of organismal traits. That assumption represents a failure to grant the concept of evolution a central role in taxonomy, and it causes conflicts between traditional methods of defining taxon names and evolutionary concepts of taxa. Phylogenetic definitions of taxon names (de Queiroz and Gauthier 1990) grant the concept of common ancestry a central role in the definitions of (...) taxon names and thus constitute an important step in the development of phylogenetic taxonomy. By treating phylogenetic relationships rather than organismal traits as necessary and sufficient properties, phylogenetic definitions remove conflicts between the definitions of taxon names and evolutionary concepts of taxa. The general method of definition represented by phylogenetic definitions of clade names can be applied to the names of other kinds of composite wholes, including populations and biological species. That the names of individuals (composite wholes) can be defined in terms of necessary and sufficient properties provides the foundation for a synthesis of seemingly incompatible positions held by contemporary individualists and essentialists concerning the nature of taxa and the definitions of taxon names. (shrink)

Na defesa que Maurice Blanchot faz da consistência ontológica da experiência poéticoliterária, surge uma relação filosófica ambígua com bergsonismo. Compreender como o pensamento deHenri Bergson incide em sua teoria é imprescindível para podermos estabelecer a importância deMallarmé na constituição de uma teoria do espeço literário e encontrarmos o devido lugar do devir e daduração nesta teoria da literatura. Em Blanchot podemos verificar algumas linhas de ruptura econtinuidade com o bergsonismo, procedendo sobretudo uma reversão do fluxo temporal no espaçodiferencial da escrita (...) e da própria experiência subjetiva. Não deixamos de notar que Blanchot, ao seguiruma tendência interna de divergência do bergsonismo com ele próprio, recupera um outro lado daexperiência das “ilusões idealistas das representações simbólicas”. Tais ilusões, combatidas porBergson em sua crítica ao conceito e apelo empírico à intuição, formam para Blanchot um substratopositivo-ontológico da linguagem e sobretudo da literatura. (shrink)

http://dx.doi.org/10.5007/1808-1711.2008v12n1p73 This paper aims at discussing from the point of view of a pragmatic stance the concept of model as an abstract replica. According to this view, scientific models are abstract structures different from set-theoretic models. The view of models argued for here stems from the conceptions of some important philosophers of science who elaborated on the notion of model, such as Suppe, Cartwright, Hempel, and Nagel. Differently from all those authors, however, the conception of model argued for here is (...) typically pragmatic, not semantic, i.e. it has not to do with the interpretation of scientific theories, but with the explanation and construction of given circumstances (both abstract and concrete), from the point of view of the theory. (shrink)

In this paper, I try to argue that both science, as a specific kind of knowledge, and human knowledge in general are activities of constructing models. In the first part, I present my conception according to which scientific models are abstract entities, and that scientific theories may be interpreted as classes of models as abstract replicas of real settings, in which certain laws apply. In the second part, I try to extend that same conception to ordinary human knowledge, particularly to (...) the case of the cognitive activity of classifying objects of experience. (shrink)

Este artigo apresenta um modelo do agente livre compatível com as teorias evolutivas e neurofisiológicas da mente e com base especificamente nas noções de liberdade em situação, de Sartre, e de racionalidade limitada, de Simon. Além disso, a noção de agência de controle de Skinner é generalizada, sendo aplicada também ao caso de estruturas cerebrais. O agente livre é descrito como o indivíduo humano cujo eu consciente escolhe e decide no contexto de múltiplas determinações tanto ambientais quanto neurofisiológicas. A autonomia (...) do agente humano é resultado dos processos que levam à aquisição das modalidades da consciência existencial, inclusive a consciência moral. O agente livre é alguém que alcança o autocontrole. (shrink)

In this paper I analyze the relation between ascribing knowledge to a human agent in two kinds of circumstances, namely acting according to environmental contingences and acting according to a rule. My discussion begins with the distinction I put forward between descriptive and explicative hypotheses. After relating the notions of rule and belief, I try to support the idea that modifications in overt behavior are prior to any ascriptions of knowledge to an agent, connecting this topic with processes of investigation. (...) I discuss also if there can be beliefs which do not bring about modifications of behavior, and I argue that in certain circumstances of our investigation about the behavior of people, in order to give it unity, we are to ascribe beliefs of that kind to people. Given those points, I depict epistemology as the theory of the processes of investigation involved in human action. • DOI:10.5007/1808-1711.2010v14n2p279. (shrink)

This paper deals with the questions of emergence and complex (mental and social) systems and with downward determination from the viewpoint of perspectival realism. These are issues concerning the foundations of the human sciences, generally speaking, and particularly psychology and sociology. A criterion is put forward, which distinguish metaphysicalfrom ontological (conceptual) problems, and the notions of complex, hierarchic system and causation that would be suitable for those that defend emergence and perspectivist foundations of the human sciences are discussed. Este artigo (...) trata das questões da emergência de sistemas complexos (mentais e sociais) e da determinação descendente do ponto de vista do realismo perspectivista. Essas são questões sobre os fundamentos das ciências humanas em geral e, em particular, da psicologia e da sociologia. É proposto um critério para distinguir problemas metafísicos de problemas ontológicos (ou conceituais), e são discutidas as noções de sistema complexo hierárquico e de causação que seriam adequadas para uma fundamentação emergentista e perspectivista das ciências humanas. (shrink)

Nesse artigo, procuramos mostrar que duas alternativas célebres aos fundacionalismos tradicionais - o falibilismo de Popper e o naturalismo de Quine - apresentam consequências indesejáveis a respeito do problema da base empírica. Propomos uma terceira alternativa - o ceticismo alético -, que pode lidar adequadamente com esse problema. Além disso, compreendemos o ceticismo alético como uma doutrina diferente do ceticismo pirrônico tradicional (e outras versões antigas e modernas de ceticismo), no que diz respeito ao objetivo da investigação, embora ele coincida (...) com o pirronismo em seu método. O ceticismo alético evita não apenas o naturalismo, mas também o falibilismo. (shrink)

Taxonomies of living things and the methods used to produce them changed little with the institutionalization of evolutionary thinking in biology. Instead, the relationships expressed in existing taxonomies were merely reinterpreted as the result of evolution, and evolutionary concepts were developed to justify existing methods. I argue that the delay of the Darwinian Revolution in biological taxonomy has resulted partly from a failure to distinguish between two fundamentally different ways of ordering identified by Griffiths : classification and systematization. Classification consists (...) of ordering entities into classes, groups defined by the attributes of their members; in contrast, systematization consists of ordering entities into systems, more inclusive entities whose existence depends on some natural process through which their parts are related. Evolutionary, or phylogenetic, systematics takes evolutionary descent to be the natural process of interest in biological taxonomy. I outline a general framework for a truly phylogenetic systematics and examine some of its consequences. (shrink)

At least three different issues are commonly referred to by the term “the species problem”: one concerns the necessary properties of species, a second the processes responsible for the existence of species, and a third methods for inferring species limits. Solutions have recently been proposed to the first two problems, which are conceptual in nature (the third is methodological). The first equates species with metapopulation lineages and proposes that existence as a separately evolving metapopulation lineage be considered the only necessary (...) property of species. The second views the species category as a cluster concept and proposes that no single process or set of processes be considered necessary for the existence of species. Although these two solutions have been portrayed as being in conflict, they are, in fact, highly compatible. Moreover, the proposals in question clarify the problem concerning methods for inferring the limits of species, which has for a long time been confused with the problem concerning the necessary properties of species. Together these proposals provide the opportunity for biology to move beyond debates about the definition of the species category and focus on estimating the boundaries and numbers of species as well as studying the diverse processes involved in their origin and persistence. BioEssays 27:1263–1269, 2005. © 2005 Wiley Periodicals, Inc. (shrink)

RESUMO Este artigo analisa a questão da causalidade descendente em relação a sistemas emergentes. A partir das considerações de Emmeche, Køppe e Stjernfelt, que são aqui criticadas, e em parte com base naquelas de Pattee, o artigo apresenta uma interpretação do tipo de relação que existe entre as condições de base de um evento e este último, e as relações entre a totalidade de um sistema e suas partes, empregando as noções de comunidade e de finalidade interna, noções essas devidas (...) a Kant. ABSTRACT This paper deals with the question of downward causation in connection with emergent systems. Beginning with the comments offered by Emmeche, Køppe, and Stjernfelt, which are criticized here, and partially based on those of Pattee, the paper puts forward an interpretation of the kind of relation that exists between the basal conditions for a given event and the event itself, and the relations between a given system as a whole and its parts making use of the concepts of community and internal purposiveness, concepts due to Kant. (shrink)

Ernst Mayr played a central role in the establishment of the general concept of species as metapopulation lineages, and he is the author of one of the most popular of the numerous alternative definitions of the species category. Reconciliation of incompatible species definitions and the development of a unified species concept require rejecting the interpretation of various contingent properties of metapopulation lineages, including intrinsic reproductive isolation in Mayr's definition, as necessary properties of species. On the other hand, the general concept (...) of species as metapopulation lineages advocated by Mayr forms the foundation of this reconciliation, which follows from a corollary of that concept also advocated by Mayr: the proposition that the species is a fundamental category of biological organization. Although the general metapopulation lineage species concept and Mayr's popular species definition are commonly confused under the name "the biological species concept," they are more or less clearly distinguished in Mayr's early writings on the subject. Virtually all modern concepts and definitions of the species category, not only those that require intrinsic reproductive isolation, are to be considered biological according to the criterion proposed by Mayr. Definitions of the species category that identify a particular contingent property of metapopulation lineages (including intrinsic reproductive isolation) as a necessary property of species reduce the number of metapopulation lineages that are to be recognized taxonomically as species, but they cause conflicts among alternative species definitions and compromise the status of the species as a basic category of biological organization. (shrink)

Looking at proof theory as an attempt to ‘code’ the general pattern of the logical steps of a mathematical proof, the question of what kind of rules can make the meaning of a logical connective completely explicit does not seem to have been answered satisfactorily. The lambda calculus seems to have been more coherent simply because the use of ‘λ’ together with its projection 'apply' is specified by what can be called a 'reduction' rule: β‐conversion. We attempt to analyse the (...) role of proof rules, making use of a set of formal rules designed to capture both the notions of proof theory and those of the lambda‐calculus: Martin‐Löf's Intuitionistic Type Theory. (shrink)

The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that we suggest an extension (...) to the Curry– Howard interpretation which draws on the idea of labelled deduction, and brings back Frege’s device of variable-abstraction to operate on the labels (i.e., proof-terms) alongside formulas of predicate logic. (shrink)

We are concerned with showing how ‘labelled’ Natural Deduction presentation systems based on an extension of the so-called Curry-Howard functional interpretation can help us understand and generalise most of the deduction calculi designed to deal with the logical notion of existential quantification. We present the labelling mechanism for ‘’ using what we call ‘ɛ-terms’, which have the form of ‘a’) in a dual form to the ‘Ax.f’ terms of in the sense that the ‘witness’ is chosen at the time of (...) assertion/introduction.With the intention of demonstrating the generality of our framework, we provide a brief comparison with some other calculi of existentials, including the model-theoretic interpretations of Skolem and Herbrand, indicating the way in which some of the classical results on prenex normal forms can be extended to a wide range of logics. The essential ingredient is to look at the conceptual framework of labelled natural deduction as an attempted reconstruction of Frege's functional calculus where the devices of the Begriffsschrift work separately from, yet in harmony with, those of the Grundgesetze 1. (shrink)